body
{    
background-color: rgb(255,255,255);    
}

.header
{
    width: 100%;
    height: 60 px;
    text-align: center;
}

.body
{
    width: 87%;
    padding: 5px;
    margin: auto;
    margin-top: 60px;
/*    overflow: auto;*/
    float: left;
}

.menu
{
    width: 10%;
    margin-top: 60px;
    float: right;
}
/* Interpreter Block -- will work for Toplevel block too*/
.ib_table
{
    width:100%;
}
.ib_code
{
    width: 100%;
    height: 200px;
    font-family: monospace;
}

.tb_table
{
    width: 100%;
}

.tb_table_from
{
    width: 10%;
}
.tb_table_output
{
    width: 90%;
    font-family: monospace;
}
.tb_code
{
    width: 80%;
    font-family: monospace;
}
.tb_icode
{
    font-weight: bold;
}

.hcb_button
{
    width: 100%;
}